p:FinProbSpace, a, b:Atom2, C:p-open(p).
measure(C) = 1
(C:p-open(p)||a 
C:p-open(p)||b)
(find-random{2}(C;p;a;b) 
{n:
| C(<n, random(p;a;b)>) = 1} ) | 11,40 |
p:FinProbSpace, a, b:Atom2, C:p-open(p).
(C:p-open(p)||a C:p-open(p)||b)
(find-random{2}(C;p;a;b) {n:| C(<n, random(p;a;b)>) = 1} )
| Definitions | Qx:A. B(x) T |